PRGNAM="alloy"
VERSION="4.2"
HOMEPAGE="http://alloy.mit.edu/"
DOWNLOAD="http://alloy.mit.edu/alloy/downloads/alloy4.2.jar"
MD5SUM="dfc6f233a88738f2ac62bd2d6eb1c2bc"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES="jdk"
MAINTAINER="orphaned - no maintainer"
EMAIL="nobody@nowhere"
